Systems assurance

Results: 2132



#Item
1

Developing Assurance Cases for D-MILS Systems Richard Hawkins, Tim Kelly, Ibrahim Habli Department of Computer Science, The University of York 1

Add to Reading List

Source URL: mils-workshop-2015.mils.community

Language: English - Date: 2015-01-27 02:57:03
    2

    DANFENG (DAPHNE) YAO RESEARCH INTERESTS Software and system security and assurance, including anomaly detection in networked systems and programs, system integrity, malware program analysis, security of mobile systems, c

    Add to Reading List

    Source URL: people.cs.vt.edu

    Language: English - Date: 2018-04-09 14:09:44
      3

      E-Governance Mission Mode Project Crime and Criminal Tracking Network and Systems Standard Operating Procedure for Hardware Procurement and Quality Assurance

      Add to Reading List

      Source URL: crimebranchjkpolice.nic.in

      Language: English - Date: 2013-02-16 00:33:43
        4

        Frequently Asked Questions (FAQs) On Participatory Guarantee Systems for India (PGS-India) General questions about PGS-India guarantee system 1. What is PGS? Participatory Guarantee System (PGS) is a quality assurance in

        Add to Reading List

        Source URL: pgsindia-ncof.gov.in

        Language: English - Date: 2018-07-24 06:01:31
          5

          Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst

          Add to Reading List

          Source URL: sel4.systems

          Language: English - Date: 2015-09-15 20:34:19
            6

            ASSURE 2015: The 3rd International Workshop on Assurance Cases for Software-Intensive Systems Workshop Programme September 22, 2015 Delft, The Netherlands

            Add to Reading List

            Source URL: safecomp2015.tudelft.nl

            Language: English - Date: 2015-09-03 11:54:38
              7

              ENGAGE 18 Manager letter Dear [Manager’s First Name], NETSCOUT Systems, Inc. announced one of the largest mergers in service assurance technology two years ago. Since then NETSCOUT has been working to deliver the mos

              Add to Reading List

              Source URL: www.netscout.com

              - Date: 2018-03-28 10:24:17
                8

                Using Models at Runtime to Address Assurance for Self-Adaptive Systems Betty H.C. Cheng1, Kerstin I. Eder2 , Martin Gogolla3, Lars Grunske4, Marin Litoiu5, Hausi A. M¨uller6 , Patrizio Pelliccione7, Anna Perini8 , Nauma

                Add to Reading List

                Source URL: arxiv.org

                - Date: 2015-05-05 20:07:03
                  9

                  Shadow: Real Applications, Simulated Networks Dr. Rob Jansen U.S. Naval Research Laboratory Center for High Assurance Computer Systems

                  Add to Reading List

                  Source URL: www.robgjansen.com

                  - Date: 2018-02-21 17:29:46
                    10

                    DEPARTMENT OF HEALTH Health Systems Quality Assurance Division Office of Community Health Systems Regional EMS and Trauma Care Council MEMBERSHIP APPLICATION

                    Add to Reading List

                    Source URL: www.northregionems.com

                    - Date: 2012-08-22 15:46:56
                      UPDATE